//kernel 3.17-rc1
#define LINUX_VERSION_CODE 200960
#define KERNEL_VERSION(a,b,c) (((a) << 16) + ((b) << 8) + (c))



void main() {
	printf(KERNEL_VERSION(2,6,23));
}

